backward chaining - Spanish English Dictionary